Algebraic structures - PDFSEARCH.IO - Document Search Engine

Algebraic structures
Results: 1266

#	Item
481	Mathematical Case Studies: the Geometric Algebra∗ Rob Arthan 5 August 2012 Abstract This document is one of a series of mathematical case studies in ProofPower-HOL. It gives a Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2012-08-05 11:02:03 Mathematical structures Group theory Linear algebra Ring theory Geometric algebra Vector space Inner product space Algebraic structure Group action Algebra Abstract algebra Mathematics
482	Type Classes Common pattern in Mathematics: ➜ Define abstract structures (semigroup, group, ring, field, etc) ➜ Study and derive properties in these structures COMP 4161 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Monoid Semigroup Algebraic structures Algebra Semigroup theory
483	Multivariate Greatest Common Divisors in the Java Computer Algebra System Add to Reading List Source URL: krum.rz.uni-mannheim.de Language: English - Date: 2008-09-14 13:25:35 Ring theory Invariant theory Algebraic structures Computer algebra Gröbner basis Polynomial ring Polynomial Greatest common divisor Ring Abstract algebra Algebra Commutative algebra
484	On the number of intervals in the Tamari lattices ´ Eric Fusy (LIX) Joint work with M. Bousquet-M´ Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2011-10-04 04:35:59 Algebra Lie groups Order theory Tamari lattice Algebraic structures Lattice Tree rotation Interval Catalan number Abstract algebra Mathematics Lattice theory
485	REACHABILITY IN VECTOR ADDITION SYSTEMS DEMYSTIFIED arXiv:1503.00745v1 [cs.LO] 2 Mar 2015 ´ OME Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 03:33:45 Order theory General topology Scheme theory Algebraic structures Ideals Proj construction Model theory Sheaf Net Mathematics Abstract algebra Topology
486	第 34 卷第 5 期 2004年10月中　国　科　学　技　术　大　学　学　报 Vol . 34 ,No. 5 Add to Reading List Source URL: just.ustc.edu.cn Language: English - Date: 2006-10-24 11:18:58 Special classes of semigroups Inverse semigroup Semigroup Inverse element Regular semigroup Nambooripad order Completely regular semigroup Band Semigroup with involution Semigroup theory Algebraic structures Mathematics
487	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
488	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Higher-order functions Functional languages Algebraic structures Abstract data types Procedural programming languages Fold Monoid Semigroup Double-ended queue Software engineering Computing Computer programming
489	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Semigroup theory Abstract algebra Category theory Monoid Inverse element Semigroup Constructible universe Isabelle Fixed-point combinator Mathematics Algebra Algebraic structures
490	Subject Information Guide Introduction to Algebraic Number Theory Semester 1, 2014 Administration and contact details Host Department Host Institution Add to Reading List Source URL: research.amsi.org.au Language: English - Date: 2014-08-18 08:35:24 Algebraic structures Algebraic number theory Ring theory Algebraic number Number theory Field Number Integer Abstract algebra Mathematics Algebra

UPDATE